'avancement, l'utilisation d'un
assistant de preuve (TLAPS) pourra être envisagé pour élaborer des preuves formelles de propriétés... de cursus Bac+5,
spécialisé-e en informatique ou équivalent, vous souhaitez réaliser votre stage de fin d'études dans le... -
Voir cette offre d'emploi